$\forall$$A$:Type, $I$:MaInterface($A$), $i$:Id.
\\[0ex]($\uparrow$ma{-}interface{-}loc($I$;$i$))
\\[0ex]$\Leftarrow\!\Rightarrow$ (($i$ $\in$ ma{-}interface{-}locs($I$)) \& ($\exists$$k$:Knd. ($k$ $\in$ ma{-}interface{-}dom($I$;$i$))))